
public class Operator {

	private String name;
	private ListOfTypes  parameter;//type of each parameter
	private ListOfPredicates precondition , effect;
	
	public Operator(String name ){
		this.name = name;
		parameter = new ListOfTypes(5);
		precondition = new ListOfPredicates(5);
		effect = new ListOfPredicates(5);
	}
	
	public void display(){
		System.out.println("name of operator is : " + getName() );
		System.out.println("====================================");
		System.out.println("The parameter of this operator are :");
		parameter.displayTypesOfPredicates();
		System.out.println("====================================");
		System.out.println("The preconditions of this operator are :");	
		precondition.display();
		System.out.println("The effects of this operator are : ");
		effect.display();
	}

	public String getName() {
		return name;
	}

	public ListOfTypes getParameter() {
		return parameter;
	}

	public ListOfPredicates getPrecondition() {
		return precondition;
	}

	public ListOfPredicates getEffect() {
		return effect;
	}

	public void setName(String name) {
		this.name = name;
	}

	public void setParameter(ListOfTypes tOP) {
		parameter = tOP;
	}

	public void setPrecondition(ListOfPredicates precondition) {
		this.precondition = precondition;
	}

	public void setEffect(ListOfPredicates effect) {
		this.effect = effect;
	}
	
	
}
